package SV_EXPOSE_RET;

public class Example {
    private ArrayList adminUsers;
    public Collection getAdminUsers() {
        return adminUsers;
    }
    // ...
    void maliciousUserCode() {
        getAdminUsers().add("myself");
    }

}
